Nuprl Definition : rps
0,22
postcript
pdf
rps(
x
;
y
) ==
x
=
2
y
=
0
x
=
1
y
=
2
x
=
0
y
=
1
latex
Definitions
p
q
,
p
q
,
i
=
j
,
#$n
FDL editor aliases
rps
origin